Dagstuhl Seminar Proceedings 09121 Normative Multi-Agent Systems
نویسندگان
چکیده
From 15.03. to 20.03.2009, the Dagstuhl Seminar 09121 Normative Multi-Agent Systems was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
07122 Abstracts Collection - Normative Multi-agent Systems
From 15.03. to 20.03.2009, the Dagstuhl Seminar 09121 "Normative Multi-Agent Systems'' was held in Schloss Dagstuhl, Leibniz Center for Informatics. This paper contains the abstracts of the presentations given during the seminar. URL http://drops.dagstuhl.de/opus/volltexte/2009/1922 [5] Source URL: https://www.iiia.csic.es/en/node/54821 Links [1] https://www.iiia.csic.es/en/staff/guido-boella [...
متن کاملOpen Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131)
Computation and Incentives in Social Choice (Dagstuhl Seminar 12101) Edith Elkind, Christian Klamler, Jeffrey S. Rosenschein, and M. Remzi Sanver . . 1 Normative Multi-Agent Systems (Dagstuhl Seminar 12111) Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leon van der Torre . . 23 Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121) Lisbeth Fajstrup, Dmit...
متن کاملVaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)
This report documents the program and the outcomes of Dagstuhl Seminar 13181 “VaToMAS – Verification and Testing of Multi-Agent Systems”. Seminar 28. April–03. May, 2013 – www.dagstuhl.de/13181 1998 ACM Subject Classification I.2.11 Distributed Artificial Intelligence, F.3.1 Specifying and Verifying and Reasoning about Programs, I.2.4 Knowledge Representation Formalisms and Methods
متن کاملFoundations and Practice of Programming Multi-Agent Systems Dagstuhl Seminar
From 25.06.06 to 30.06.06, the Dagstuhl Seminar 06261 Foundations and Practice of Programming Multi-Agent Systems was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abs...
متن کاملMeta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)
Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141) Bernadette Charron-Bost, Stepahn Merz, Andrey Rybalchenko, and Josef Widder 1 Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen 17 Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151) Stephen Kobourov, Martin Nöllenburg...
متن کامل